Inheritance Anomaly
نویسنده
چکیده
Inheritance anomaly is a well known problem in concurrent object-oriented programming. Much work has been done in this area recently, but the problem is far from solved. In this paper we propose a simple language construct that solves the inheritance anomaly. Our proposal involves the use of preconditions and post-actions in which synchronization constraints of objects are speciied. Preconditions and post-actions framework is very powerful. Apart from being able to handle all the known anomalies it also facilitates incremental changes instead of re-deenitions when inherited methods are specialized or generalized. Real-time-speciication anomalies and anomalies in sequential object-oriented languages are also investigated.
منابع مشابه
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced by the problem of inheritance anomaly. Inheritance anomaly is manifested by undesirable re-definitions of inherited code. The problem is aggravated by the lack of a formal analysis, with a multitude of differing proposals and c...
متن کاملInheritance Anomaly -a Formal Treatment
Inheritance is one of the key concepts in object-oriented programming (OOP). However, the usefulness of inheritance in concurrent OOP is greatly reduced by the inheritance anomalies. These anomalies have been subjected to intense research, but they are still only vaguely de ned and often misunderstood. In this paper we show that concurrency is not the real cause of inheritance anomalies. We for...
متن کاملAnalysis of Inheritance Anomaly in Object - Oriented Concurrent Programming
It has been pointed out that inheritance and synchronization constraints in concurrent object systems often con ict with each other, resulting in inheritance anomaly where re-de nitions of inherited methods are necessary in order to maintain the integrity of concurrent objects. The anomaly is serious, as it could nullify the bene ts of inheritance altogether. Several proposals have been made fo...
متن کاملHeterogeneity in dominant anterior segment malformations.
Peters' anomaly is usually a sporadic or autosomal recessive condition. We present three families whose members had dominantly inherited anterior segment anomalies with variable expression, including typical Peters' anomaly in at least one family member. Slit-lamp examination of parents and family members of children with Peters' anomaly is therefore important to exclude dominant inheritance.
متن کامل